PNTools: a Multi-Language Environment to Integrate Petri Nets Tools
نویسندگان
چکیده
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in different applications to take their advantages and overcome their disadvantages in order to solve complex problems that can't be solved using a single tool. This combination is difficult, because each tool has its own Petri net representation format. Most of those tools use an English interface, which penalizes its use by not Anglo-Saxon users. To eliminate these drawbacks, we propose a new multi-languages environment based on a standard file format (PNML file format), that integrates INA and PEP tools.
منابع مشابه
Using Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملA Possibilistic Petri-Nets-Based Service Matchmaker for Multi-Agents System Architecture
The focus of this paper is to devise a service-oriented architecture for multi-agents system (called SAM), to reach a wide adoption and routine use of agents, web services, and semantic web technologies. In order to better integrate agents, web applications and information sources in an open and distributed environment such as the Internet, a service matchmaker called middle agent is responsibl...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملCPN Tools 4: Multi-formalism and Extensibility
CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third pa...
متن کامل